Extendability of Continuous Maps Is Undecidable

Extendability of continuous maps is undecidable

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given topological spaces X and Y , a subspace A ⊆ X, and a (continuous) map f : A → Y , decide whether f can be extended to a continuous map f̄ : X → Y . All spaces ...

System NEL is Undecidable

System NEL is a conservative extension of multiplicative exponential linear logic (extended by the rules mix and nullary mix) by a self-dual noncommutative connective called seq which has an intermediate position between the connectives par and times. In this paper, I will show that system NEL is undecidable by encoding two counter machines into NEL. Although the encoding is simple, the proof o...

Rigidity is undecidable

We show that the problem ‘whether a finite set of regular-linear axioms defines a rigid theory’ is undecidable. 2010 Mathematical Subject Classification 03D35, 03C05, 03G30, 18C10, 18C15

Quasi-Linearizability is Undecidable

Quasi-linearizability is a quantitative relaxation of linearizability. It preserves the intuition of the standard notion of linearizability and permits more flexibility. The decidability of quasi-linearizability has been remaining open in general for a bounded number of processes. In this paper we show that the problem of whether a library is quasilinearizable with respect to a regular sequenti...

Whitehead's Problem is Undecidable